module Map

sig Location {
}


one sig Map{

	routes : set Route

}

sig Route{}

fact routeIntoMap{
	Route in Map.routes
}
